Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification

International audienceThe purpose of ARINC 661 specification [1] is to define interfaces to a Cockpit Display System (CDS) used in any types of aircraft installations. ARINC 661 provides precise information for communication protocol between application (called User Applications) and user interface components (called widgets) as well as precise information about the widgets themselves. However, in ARINC 661, no information is given about the behaviour of these widgets and about the behaviour of an application made up of a set of such widgets. This paper presents the results of the application of a formal description technique to the various elements of ARINC 661 specification within an industrial project. This formal description technique called Interactive Cooperative Objects defines in a precise and non-ambiguous way all the elements of ARINC 661 specification. The application of the formal description techniques is shown on an interactive application called MPIA (Multi Purpose Interactive Application). Within this application, we present how ICO are used for describing interactive widgets, User Applications and User Interface servers (in charge of interaction techniques). The emphasis is put on the model-based management of the feel of the applications allowing rapid prototyping of the external presentation and the interaction techniques. Lastly, we present the CASE (Computer Aided Software Engineering) tool supporting the formal description technique and its new extensions in order to deal with large scale applications as the ones targeted at by ARINC 661 specification

Phase Diagram of the 1D Anderson Lattice

We map out the phase diagram of the one--dimensional Anderson lattice by studying the ground state magnetization as a function of band--filling using the density matrix renormalization group technique. For strong coupling, we find that the quarter--filled system has an S=0 ground state with strong antiferromagnetic correlations. As additional electrons are put in, we find first a ferromagnetic phase, as reported by M\"{o}ller and W\"{o}lfle, and then a phase in which the ground state has total spin $S=0$. Within this $S=0$ phase, we find RKKY oscillations in the spin--spin correlation functions.Comment: REVTEX manuscript with 5 Postcript figures included in uu file. Submitted to Phys. Rev.

Longer duration of gestation in term singletons is associated with better infant neurodevelopment

Background: Longer gestation at term and post-term age is associated with increased perinatal mortality. Nonetheless, recent neuroimaging studies indicated that longer gestation is also associated with better functioning of the child's brain. Aims: to assess whether longer gestation in term and post-term (in short: term) singletons is associated with better infant neurodevelopment. Study design: cross-sectional observational study. Subjects: Participants were all singleton term infants (n = 1563) aged 2–18 months of the IMP-SINDA project that collected normative data for the Infant Motor Profile (IMP) and Standardized Infant NeuroDevelopmental Assessment (SINDA). The group was representative of the Dutch population. Outcome measures: Total IMP score was the primary outcome. Secondary outcomes were atypical total IMP scores (scores &lt;15th percentile) and SINDA's neurological and developmental scores. Results: Duration of gestation had a quadratic relationship with IMP and SINDA developmental scores. IMP scores were lowest at a gestation of 38·5 weeks, SINDA developmental scores at 38·7 weeks. Next, both scores increased with increasing duration of gestation. Infants born at 41–42 weeks had significantly less often atypical IMP scores (adjusted OR [95 % CI]: 0·571 [0·341–0·957] and atypical SINDA developmental scores (adjusted OR: 0·366 [0·195–0·688]) than infants born at 39–40 weeks. Duration of gestation was not associated with SINDA's neurological score. Conclusions: In term singleton infants representative of the Dutch population longer gestation is associated with better infant neurodevelopment scores suggesting better neural network efficiency. Longer gestation in term infants is not associated with atypical neurological scores.</p

Structure and Thermodynamics of the Mixed Alkali Alanates

The thermodynamics and structural properties of the hexahydride alanates (M2M'AlH6) with the elpasolite structure have been investigated. A series of mixed alkali alanates (Na2LiAlH6, K2LiAlH6 and K2NaAlH6) were synthesized and found to reversibly absorb and desorb hydrogen without the need for a catalyst. Pressure-composition isotherms were measured to investigate the thermodynamics of the absorption and desorption reactions with hydrogen. Isotherms for catalyzed (4 mol% TiCl3) and uncatalyzed Na2LiAlH6 exhibited an increase in kinetics, but no change in the bulk thermodynamics with the addition of a dopant. A structural analysis using synchrotron x-ray diffraction showed that these compounds favor the Fm-3m space group with the smaller ion (M') occupying an octahedral site. These results demonstrate that appropriate cation substitutions can be used to stabilize or destabilize the material and may provide an avenue to improving the unfavorable thermodynamics of a number of materials with promising gravimetric hydrogen densities.Comment: 6 pages, 7 figures,3 tables, submitted to PR

Perception of Nuclear Energy and Coal in France and the Netherlands

This study focuses on the perception of large scale application of nuclear energy and coal in the Netherlands and France. The application of these energy-sources and the risks and benefits are judged differently by various group in society. In Europe, France has the highest density of nuclear power plants and the Netherlands has one of the lowest. In both countries scientists and social scientists completed a questionnaire assessing the perception of the large scale application of both energy sources. Furthermore, a number of variables relating to the socio cultural and political circumstances were measured. The results indicate that the French had a higher risk perception and a more negative attitude toward nuclear power than the Dutch. But they also assess the benefits of the use of nuclear power to be higher. Explanations for these differences are discussed

Superconductivity with hard-core repulsion: BCS-Bose crossover and s-/d-wave competition

We consider fermions on a 2D lattice interacting repulsively on the same site and attractively on the nearest neighbor sites. The model is relevant, for instance, to study the competition between antiferromagnetism and superconductivity in a Kondo lattice. We first solve the two-body problem to show that in the dilute and strong coupling limit the s-wave Bose condensed state is always the ground state. We then consider the many-body problem and treat it at mean-field level by solving exactly the usual gap equation. This guarantees that the superconducting wave-function correctly vanishes when the two fermions (with antiparallel spin) sit on the same site. This fact has important consequences on the superconducting state that are somewhat unusual. In particular this implies a radial node-line for the gap function. When a next neighbor hopping t' is present we find that the s-wave state may develop nodes on the Fermi surface.Comment: 10 pages, 9 fig

A new mechanism of SOX9 action to regulate PKC expression in the intestine epithelium

International audienceVariations of protein kinase C (PKC) expression greatly influence the proliferation-to-differentiation transition (PDT) of intestinal epithelial cells and might have an important impact on intestinal tumorigenesis. We demonstrate here that the expression of PKCalpha in proliferating intestinal epithelial cells is repressed both in vitro and in vivo by the SOX9 transcription factor. This repression does not require DNA binding of the SOX9 high-mobility group (HMG) domain but is mediated through a new mechanism of SOX9 action requiring the central and highly conserved region of SOXE members. Because SOX9 expression is itself upregulated by Wnt-APC signaling in intestinal epithelial cells, the present study points out this transcription factor as a molecular link between the Wnt-APC pathway and PKCalpha. These results provide a potential explanation for the decrease of PKCalpha expression in colorectal cancers with constitutive activation of the Wnt-APC pathway

Infant motor behaviour and functional and cognitive outcome at school-age:A follow-up study in very high-risk children

BACKGROUND: The Infant Motor Profile (IMP) is an appropriate tool to assess and monitor infant motor behaviour over time. Infants at very high risk (VHR) due to a lesion of the brain generally show impaired motor development. They may grow into or out of their neurodevelopmental deficit. AIMS: Evaluate associations between IMP-trajectories, summarised by IMP-scores in early infancy and rates of change, and functional and cognitive outcome at school-age in VHR-children. STUDY DESIGN: Longitudinal study. SUBJECTS: 31 VHR-children, mainly due to a brain lesion, who had multiple IMP-assessments during infancy, were re-assessed at 7-10 years (school-age). OUTCOME MEASURES: Functional outcome was assessed with the Vineland-II, cognition with RAKIT 2. Associations between IMP-trajectories and outcome were tested by multivariable linear regression analyses. RESULTS: When corrected for sex, maternal education and follow-up age, initial scores of total IMP, variation and performance domains, as well as their rates of change were associated with better functional outcome (unstandardised coefficients [95% CI]): 36.44 [19.60-53.28], 33.46 [17.43-49.49], 16.52 [7.58-25.46], and 513.15 [262.51-763.79], 356.70 [148.24-565.15], and 269 [130.57-407.43], respectively. Positive rates of change in variation scores were associated with better cognition at school-age: 34.81 [16.58-53.03]. CONCLUSION: Our study indicated that in VHR-children IMP-trajectories were associated with functional outcome at school-age, and to a minor extent also with cognition. Initial IMP-scores presumably reflect the effect of an early brain lesion on brain functioning, whereas IMP rate of change reflects whether infants are able to grow into or out of their initial neurodevelopmental deficit

Motor behaviour in infancy is associated with neurological, cognitive, and behavioural function of children born to parents with reduced fertility

AIM: To evaluate the associations between motor development in infancy and developmental outcomes at school age. METHOD: Participants were 195 children (99 males, 96 females; mean age [SD] 9y 3mo [3mo], range 8y 4mo-10y 11mo) born to couples whose reduced fertility was or was not treated with assisted reproductive technologies. Motor behaviour was assessed at 4, 10, and 18 months with the Infant Motor Profile (IMP). IQ, neurological optimality score (NOS), and behavioural problem scores were measured at 9 years with the Wechsler Abbreviated Scale of Intelligence, minor neurological dysfunction assessment, and the Child Behavior Checklist respectively. RESULTS: Children with a slow developmental trajectory in the IMP-domain adaptability had an IQ 12.6 points lower (95% confidence interval [CI] 4.7-20.4) and an NOS 3.4 points lower (95% CI 0.7-6.2) at 9 years of age than children with typical adaptability development. Children with a slow developmental trajectory in the IMP-domain performance had an IQ 5.0 points lower (95% CI 0.7-9.3) than children with typical performance development. A non-optimal trajectory in IMP-variation and a fluctuating trajectory in IMP-fluency were associated with higher internalizing scores of 3.6 and 5.8 points respectively, than infants with optimal IMP-domain trajectories. INTERPRETATION: In relatively low-risk children, motor behaviour in infancy was associated with neurological, cognitive, and behavioural function at school age

Role of eisosomes in the necrotrophic fungus Alternaria brassicicola

lternaria brassicicola is a fungal necrotroph responsible for the Brassicaceae dark spot disease. This fungus is a seed-borne pathogen that only affects the aerial parts of host plants causing great damages with major incidence on yield and product quality. Its transmission to seed is a major component of pathogen fitness promoting the dispersal and long-term survival of the fungus. Recently, we showed that several eisosomal protein encoding genes were overexpressed when germinated spores of A.brassicicola were exposed to osmotic and hydric stresses, which are the main constraints encountered by the fungus during the seed colonization process. MCC/eisosomes are membrane microdomains whose function is still unclear. They have been proposed to participate in the plasma membrane function by regulating the homeostasis of lipids and would promote the recruitment of specific proteins and their subsequent protection from endocytosis. Here, we deciphered the potential involvement of eisosome in pathogenicity using a reverse genetic approach by generating and characterizing mutants deficient for key eisosomal proteinencoding genes (?pil1, ?nce102, ?lsp1 and ?pil1?lsp1). In parallel, these proteins have been fused to GFP to monitor their cellular location during the plant infection and following the exposure to stresses. Depending on the mutants, the leaf and silique colonization processes were impaired by comparison to the wild-type. We also showed a strong impact of MCC/eisosome proteinmutations on the generation of appressoria-like structures